The memory management core of the existing Linux system functions
adequately within the multiprocessor framework providing the locking is
used. Certain processor specific areas do need changing, in particular
invalidate() must invalidate the TLB's of all processors before it returns.